Skip to content

Conversation

@cho-m
Copy link
Member

@cho-m cho-m commented Nov 25, 2025

Draft to make sure, but I think it will work given we have an :all bottle which wouldn't be possible if only modifying file on Linux

@cho-m cho-m added the CI-no-bottles Merge without publishing bottles label Nov 25, 2025
@github-actions github-actions bot added the php PHP use is a significant feature of the PR or issue label Nov 25, 2025
@cho-m cho-m marked this pull request as ready for review November 25, 2025 15:19
@cho-m cho-m enabled auto-merge November 25, 2025 15:19
@cho-m cho-m added this pull request to the merge queue Nov 25, 2025
Merged via the queue into main with commit 7632f18 Nov 25, 2025
34 checks passed
@cho-m cho-m deleted the mysql-search-replace-shebang branch November 25, 2025 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI-no-bottles Merge without publishing bottles php PHP use is a significant feature of the PR or issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants